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