#include <stdio.h>

extern void boot_(void* _unused);

void boot_(void* unused)
{
  fputs("boot_ called, exiting...\n", stderr);
  exit(99);
}