stdin

open fun stdin(): InputStream?