(close-stdout) begin
(close-stdout) end
close-stdout: exit(0)