public int peek1skip_version() throws IOException { int i = peek1(); if (i == EExternal.versionTag) { read1(); i = peek1(); } return i; }