#include <errno.h>
#include <sys/reboot.h>
#include <bits/ensure.h>

int reboot(int what) {
	return 0;
}