test/API/functionalities/thread/finish-from-empty-func/main.c

#include <stdio.h>
void done() {}
int main() {
  puts("in main");
  done();
  puts("leaving main");
  return 0;
}