(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / grading / userprog / exit.exp

(exit) begin
exit: exit(57)