char * put_int(char *p, int d) { assert( p != NULL ); p = _put_int(p, d); *p++ = '\n'; return(p); }
/* Output procedures **********************/ void inc_O_r(void* cdata, _integer _V) { _put_int("r", _V); }/* Main procedure *************************/