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