Debug with 32 bit machine 1.2