long (final BufferedReader r) { final String s = readString(r); try { return Long.parseLong(s); } catch (Exception n) { System.err.println("Parsing error: expected long, but found \"" + s + "\""); return 0; } }