let
term_of_loc loc =
F
.wrap (ptr loc)