const STDOUT_FILENO = system.STDOUT_FILENO;