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

[pintos-anon] / grading / userprog / exec-arg.exp

(exec-arg) begin
(child-arg) success
child-arg: exit(0)
(exec-arg) end
exec-arg: exit(0)