let term_of_loc a  = F.wrap (Tint.term_of_xaddr a)