void producer(void) { ; }