Callback zone + typecheck + (z/h)copy