pub type REGDISPOSITION = u32;