let term_of_loc loc = F.wrap (ptr loc)