let le_loc l1 l2 =
        F.p_app2 "le_ptr" (ptr l1) (ptr l2)