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