public static char native_read_char( ClassStdInReader reader ) { return (char) 0; }
static public char native_read_char(ClassStdInReader reader) { return((char)0); }