let
lookup id = lookup (convert_id id)