public interface PushStage {
  public void putA(Box p);
}