let valid mem z =
  let r = range_of_assignable z in model_valid mem.alloc r