let equal_loc_bool l1 l2 = F.e_app2 "rt_addr_eq_bool" (Tint.term_of_xaddr l1) (Tint.term_of_xaddr l2)