wsim rv64gc arch64i --gui