// Infinite supply of some one letter.
#include "push.h"
typedef struct{ns * b; ele p; ns * down;} bl;
void inf(ns * bp){bl * b = (bl *)bp;
  if(cont) errorx(3);
  cont = (pull * *)b;
  on(b -> down, b -> p);}