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