declared read-only input
