vsim -c <<! do wally-pipelined-batch.do rv64gc arch64i !