int ReadChar() { int v = reader.Read(); if (v == '\n') { line++; column = 0; } else { column++; } return(v); }