/* rubbish */
#include <SYS.h>
RSYSCALL(reboot)