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