pop_push
EXTERN int pop_push();
if ( !pop_push(dcf) ) {
static int pop_push(int);
if (!pop_push(dcf)) {