Constant X64_RegisterR13 

pub const X64_RegisterR13: REGISTER_ID;