Vendo: 32 bits x 64 bits