public static FrozenString decode(IRReaderDecoder d) { return new FrozenString(d.decodeByteList(), d.decodeInt()); }