[PATCH 5/9] programs/winedbg: properly print 64bit integers