let mk_lt_pointer_bool = "lt_pointer"