// vL <-> vR
typedef int vL;
typedef int vR; // ignored for fringes
typedef void * sp; // someone else's stack top
typedef vL PutGet_t(vR, sp);
PutGet_t PutGet;
// typedef fL * fLp; // type of call site on left
// typedef PutGetR * fRp; // type of call site on right
void startR(int, sp *);
vL begin(int, sp *);
// void newAcc(int);