let lt_pointer = p_app2 mk_lt_pointer