let equal_loc l1 l2 = F.p_app2 "rt_addr_eq" (Tint.term_of_xaddr l1)
        (Tint.term_of_xaddr l2)