extern void test_prog(void);

int main(void) {
  test_prog();
  while (1) {
  }
}