let
mk_lt_pointer =
"lt_pointer_rel"