6be04df31f0568a1ddf4995c8594a0dc3af2adbc
[pintos-anon] / grading / userprog / exit.c
1 #include <stdio.h>
2 #include <syscall.h>
3
4 int
5 main (void) 
6 {
7   printf ("(exit) begin\n");
8   exit (57);
9   printf ("(exit) fail\n");
10   return 0;
11 }