void push(SelType obj) {
    stack[++top] = obj;
  }
@Test(expected = ArrayIndexOutOfBoundsException.class)
  public void testPushStackOverflow() {
    state.push(SelString.of("foo"));
    state.push(SelString.of("foo"));
    state.push(SelString.of("foo"));
  }