public void push(KType e1, KType e2) {
    ensureBufferSpace(2);
    buffer[elementsCount++] = e1;
    buffer[elementsCount++] = e2;
  }
public void push ( KType e1 , KType e2 ) { ensureBufferSpace ( 2 ) ; buffer [ elementsCount ++ ] = e1 ; buffer [ elementsCount ++ ] = e2 ; }
Adds two KTypes to the stack.