void worker();

void run() {
  worker();
}