let equal_loc l1 l2 =
        F.p_app2 "eq_ptr" (ptr l1) (ptr l2)