Se implementaron los metodos SafeState y RestoreState a como
se pedian, con compilacion condicional.
Se uso como guia tanto el notporn y nachos-virtualMem de
github.