vsim -c -do "do wally-batch.do rv64gc wally64periph"