trap_retval ReqProg_step( void ) { return( ReqProg_go() ); }
unsigned ReqProg_step( void ) { return( ReqProg_go() ); }