vsim -do wally-fp64.do