// This is a header

// The following is an error
begin Blah1
ERROR: This shouldn't happen
end Blah1

// The following is an expected error
begin Blah2
ERROR: This shouldn't happen
end Blah2

// This is nothing
The End