vsim -c -do "do wally-batch.do rv32gc wally32priv"