// we'll need multiple editions for
// the different formats
switch (id) {
case 0: return new FormatRecord(5, BuiltinFormats.getBuiltinFormat(5));
case 1: return new FormatRecord(6, BuiltinFormats.getBuiltinFormat(6));
case 2: return new FormatRecord(7, BuiltinFormats.getBuiltinFormat(7));
case 3: return new FormatRecord(8, BuiltinFormats.getBuiltinFormat(8));
case 4: return new FormatRecord(0x2a, BuiltinFormats.getBuiltinFormat(0x2a));
case 5: return new FormatRecord(0x29, BuiltinFormats.getBuiltinFormat(0x29));
case 6: return new FormatRecord(0x2c, BuiltinFormats.getBuiltinFormat(0x2c));
case 7: return new FormatRecord(0x2b, BuiltinFormats.getBuiltinFormat(0x2b));
}
throw new IllegalArgumentException("Unexpected id " + id);
}