wsim rv64gc arch64i