chisel: an error example on unused code