Running the following example

was reporting:

but it should be:

otherwise eclccserver does not pick it up as an error, and no errors are written to the workunit.