// This is a header

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

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

WARNING: This is really another warning!

// This is nothing
The End