compile_verilog_pass DemonstrateConditions.bsv mkTopLevel "+RTS -K10M -RTS"