protected void writeToken(int token) { if (token < 0xf5) { this.buffer.Add((byte)token); } else if (token <= 0x1f4) { this.buffer.Add(0xfe); this.buffer.Add((byte)(token - 0xf5)); } }