declared read-only input