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