checking package dependencies
compiling Select.bsv
code generation for mkTest starts
Error: "Select.bsv", line 31, column 18: (S0015)
  Bluespec evaluation-time error: index 5 out-of-range (list selection)
  During elaboration of the body of rule `foo' at "Select.bsv", line 49,
  column 8.
  During elaboration of `mkTest' at "Select.bsv", line 39, column 8.