let valid _mem = function | D.Aloc(_,loc) -> Hlib.valid_pointer (pointer_of_loc loc) | D.Arange(_,loc,rg) -> Hlib.valid_range (pointer_of_loc loc) (D.interval rg)