// A global error counter, useful for when we're tracking error counts from
// assertions
package assertion_error;
   int errors;
endpackage : assertion_error