let mk_le_pointer_bool = "le_pointer"