public class DevNull implements PushStage {
  public DevNull() { }
  public void putA(Box p) { }
}