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