061b31bad6a36334fbb667bc6692d5b22d4e23a2
[pintos-anon] / grading / userprog / args-argvn.c
1 #include <stdio.h>
2 #include <syscall.h>
3
4 int
5 main (int argc, char *argv[]) 
6 {
7   printf ("(args-argvn) argv[argc] = %p\n", argv[argc]);
8   return 0;
9 }