No, non mi è stato detto di utilizzare solo registri a 64 bit.