let mk_lt_pointer = "lt_pointer_rel"