a661c15ec33dc5377c0bb1ba5d0f83680113872d
[pintos-anon] / grading / vm / pt-write-code.c
1 #include <stdio.h>
2
3 int
4 main (void) 
5 {
6   printf ("(pt-write-code) begin\n");
7   *(int *) main = 0;
8   printf ("(pt-write code) FAIL: writing the code segment succeeded\n");
9   printf ("(pt-write-code) end\n");
10   return 0;
11 }