If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
[pintos-anon] / grading / userprog / close-bad-fd.exp
1 (close-bad-fd) begin
2 (close-bad-fd) end
3 close-bad-fd: exit(0)
4 --OR--
5 (close-bad-fd) begin
6 close-bad-fd: exit(-1)