let
loc_of_term _ t =
Tint
.xaddr_of_integer (
F
.unwrap t)