#include "types.h" #include "stat.h" #include "user.h" int main(int _ac, char *_av[]) { halt(); return 0; }