let empty_name = Name.of_string "empty"