public InputReader CreateInputReader() { if ( inputReader == null ) inputReader = new Win32InputReader(); return inputReader; }