64-bit Registers?

[Jonathan Crapuchettes]

What would it take to get 64-bit registers like RAX, RBX, RCX, ... defined as 
identifiers?
Thanks,
JC