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