(write-normal) begin
(write-normal) end
write-normal: exit(0)