If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"

[pintos-anon] / grading / userprog / create-long.exp

(create-long) begin
(create-long) create: 0
(create-long) end
create-long: exit(0)