let term_of_loc loc = F.wrap (addr loc)