void push(SelType obj) {
    stack[++top] = obj;
  }
@Test
  public void testPush() {
    assertTrue(state.isStackEmpty());
    state.push(SelString.of("foo"));
    SelType res = state.readWithOffset(0);
    assertEquals("STRING: foo", res.type() + ": " + res);
  }