Constant GNSS_AGNSSFORMAT_XTRA_INT 

pub const GNSS_AGNSSFORMAT_XTRA_INT: u32 = 64u32;