let le_loc_bool l1 l2 =
        F.e_app2 "le_ptr_bool" (ptr l1) (ptr l2)