let
term_of_loc loc =
F
.wrap (addr loc)