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