let base_address m loc = Tint.base (F.var m.valloc) loc