push_number
push_number(r);
push_number(a);
push_number(r);
push_number(a);
push_number(r);
push_number(a);
push_number(r);
push_number(a);
push_number(rdiv);
push_number(rmod);
push_number(p);
push_number(r);
push_number(r);
push_number(r);
push_number(a);
push_number(a);
push_number(r);
push_number(a);
push_number(r);
push_number(a);
push_number(r);
push_number(a);
push_number(readnumber(&bmachine.readstack[bmachine.readsp],
push_number(n);
push_number(n);
push_number(n);
static __inline void push_number(struct number *);
push_number(n);
push_number(n);
push_number(n);
push_number(n);
push_number(n);
push_number(a);
push_number(r);
push_number(a);