vsim -do "do wally.do rv64gc wally64periph"