capstone_sys::ppc::ppc_reg

type ppc_reg = u32;