(open-twice) begin
(open-twice) end
open-twice: exit(0)