Fix Stdout in checked mode.

runtime/bin/stdio_patch.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 patch class _StdIOUtils {
   static Stdin _getStdioInputStream() {
     switch (_getStdioHandleType(0)) {
       case _STDIO_HANDLE_TYPE_TERMINAL:
       case _STDIO_HANDLE_TYPE_PIPE:
       case _STDIO_HANDLE_TYPE_SOCKET:
@@ skipping 64 matching lines @@
   /* patch */ int get terminalLines => _terminalSize[1];
 
   static List get _terminalSize {
     var size = _getTerminalSize();
     if (size is! List) {
       throw new StdoutException("Could not get terminal size", size);
     }
     return size;
   }
 
-  static List _getTerminalSize() native "Stdout_GetTerminalSize";
+  static _getTerminalSize() native "Stdout_GetTerminalSize";
 }
 
 
 _getStdioHandle(_NativeSocket socket, int num) native "Socket_GetStdioHandle";
 _getStdioHandleType(int num) native "File_GetStdioHandleType";
 _getSocketType(_NativeSocket nativeSocket) native "Socket_GetType";