let minus_loc l1 l2 =
      F.e_app2 "minus_addr" (addr l1) (addr l2)