public History(int size) { if (size < 1) throw new ArgumentException ("size"); history = new string [size]; head = tail = cursor = 0; }