|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
|
<verbatim>
// 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
</verbatim>
|