#include <stdio.h>
#include <unistd.h>
#include <signal.h>
#include <linux/reboot.h>

extern long ssc (long arg0, long arg1, long arg2, long arg3, int nr);

#define SSC_EXIT 66


int main(void) {

	printf("--- SIMULATOR BOOT OK ---\n");
	ssc(-1, 0, 0, 0, SSC_EXIT);

	reboot(LINUX_REBOOT_CMD_POWER_OFF);
	printf("*** Simulator did not exit :( ...\n");
}