[pintos-anon] / exit.exp

(exit) begin
exit: exit(57)