vsim -do "do wally.do rv64gc arch64d"