Constant _DOUBLE_ALIGNMENT 

pub const _DOUBLE_ALIGNMENT: u32 = 8;