if (compression < 0 || compression > 9 || minor < 0 || minor > 1) {
throw ERT.badarg(obj, spec);
}
if (minor == 0) {
throw new NotImplemented("encoding with minor_version=0");
}
EOutputStream eos = new EOutputStream();
eos.write(EExternal.versionTag);
if (compression != 0) {