Chiedo informazioni su come utilizzare il debugger (WinDbg). x 64 immagino sia quello per la versione del sistema operativo a 64 bit, che è la mia.