public void PushBack(byte b) { back = b; isBack = true; }
virtual public void BackOnePosition(int ch) { if (ch != -1) { file.PushBack((byte)ch); } }