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