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