#include <sysdeps/stub/reboot.c>