abstract sclass VStackComputableWithStep<A> implements VStack.Computable<A> {
  int step;
  
  // you can implement either of these
  
  public void step(VStack stack, O subComputationResult) {
    step(stack);
  }
  
  void step(VStack stack) {}
}