let lt_loc_bool l1 l2 =
      F.e_app2 "rt_addr_lt_bool" (Tint.term_of_xaddr l1)
        (Tint.term_of_xaddr l2)