vsim -c <<! do wally-arch.do ../config/rv32ic rv32ic !