delay_output
void delay_output(void);
delay_output();
int delay_output(int);
report_return(delay_output(dtime));