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