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)