wsim -s verilator rv64gc arch64i