public void Push (int value)
{
if (values == null) {
values = new int [8];
} else if (count == values.Length) {
int new_size = values.Length;
new_size += new_size >> 1;
int [] new_values = new int [new_size];
for (int i = 0; i < count; ++i)
new_values [i] = values [i];
values = new_values;
}
values [count++] = value;
}
public int Top {