checking package dependencies
compiling StructUninitErr5.bsv
Warning: "StructUninitErr5.bsv", line 11, column 4: (P0042)
  Assignment to `foo' missing from some paths
code generation for mkStructUninitErr5 starts
Error: "StructUninitErr5.bsv", line 10, column 13: (G0028)
  `foo.c' uses uninitialized value (the position shown is the object's
  declaration). If this error is unexpected, please consult KPNS #32.
  During elaboration of the body of rule `test' at "StructUninitErr5.bsv",
  line 14, column 9.
  During elaboration of `mkStructUninitErr5' at "StructUninitErr5.bsv", line
  8, column 8.