Adding nachos of 64 bits.