let valid m a = let xzone = xzone_assigned a in RtLib.valid (malloc_of_mem m) (Tint.term_of_xzone xzone)