public interface DualInputPushStage extends PushStage {
  public void putB(Box p);
}