#include <sys/param.h> #include <sys/time.h> #include <sys/vfs.h> #include <sys/vnode.h> #include <ufs/inode.h> #include <ufs/fs.h> #include <sys/vm.h> #include <a.out.h> #include "saio.h" #include <sys/reboot.h> main() { printf("hello\n"); }