<h2>LOGPRO RESULTS</h2>

<font color="blue">
LOGPRO: hit trigger Body on line 0

<br>
<font color="blue">
LOGPRO: hit trigger Init on line 0

<br>
<font color="purple">
LOGPRO Required: Header = 1 in section Init on line 0
</font>
<br><verbatim>
This is a header
</verbatim>
<font color="blue">
LOGPRO: hit trigger InitEnd on line 1

<br><verbatim>

</verbatim>
<font color="red">
LOGPRO Error: ERROR BLAH = 0 in section Body on line 2
</font>
<br><verbatim>
The following is an error
begin Blah1
</verbatim>
<font color="red">
LOGPRO Error: ERROR BLAH = 0 in section Body on line 4
</font>
<br><verbatim>
ERROR: This shouldn't happen
end Blah1

</verbatim>
<font color="red">
LOGPRO Error: ERROR BLAH = 0 in section Body on line 7
</font>
<br><verbatim>
The following is an expected error
</verbatim>
<font color="blue">
LOGPRO: hit trigger Blah2 on line 8

<br><verbatim>
begin Blah2
</verbatim>
<font color="green">
LOGPRO Ignore: FALSE ERROR = 1 in section Blah2 on line 9
</font>
<br><verbatim>
ERROR: This shouldn't happen
</verbatim>
<font color="blue">
LOGPRO: hit trigger Blah2End on line 10

<br><verbatim>
end Blah2

This is nothing
The End

==========================LOGPRO SUMMARY==========================
Trigger: Blah2End                   OK, count=1
Trigger: Blah2                      OK, count=1
Trigger: Body                       OK, count=1
Trigger: InitEnd                    OK, count=1
Trigger: Init                       OK, count=1
Expect:  Error    in Body         FAIL, expected = 0 of ERROR BLAH, got 3
Expect:  Ignore   in Blah2          OK, expected = 1 of FALSE ERROR, got 1
Expect:  Expect   in Init           OK, expected < 1 of Junk, got 0
Expect:  Required in Init           OK, expected = 1 of Header, got 1
</verbatim>