external get_name : t -> string = "object_get_name"