checking package dependencies
compiling UninitBitOK3.bsv
code generation for sysUninitBitOK3 starts
Error: "UninitBitOK3.bsv", line 3, column 11: (G0028)
  `x[4]' 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 "UninitBitOK3.bsv", line 8,
  column 8.
  During elaboration of `sysUninitBitOK3' at "UninitBitOK3.bsv", line 2,
  column 8.
Error: "UninitBitOK3.bsv", line 3, column 11: (G0028)
  `x[0]' 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 "UninitBitOK3.bsv", line 8,
  column 8.
  During elaboration of `sysUninitBitOK3' at "UninitBitOK3.bsv", line 2,
  column 8.