const STDIN_FILENO = system.STDIN_FILENO;