let valid m a = let xzone = xzone_assigned a in RtLib.valid (F.var m.valloc) (Tint.term_of_xzone xzone)