Constant TWAI_EXTD_ID_MASK 

pub const TWAI_EXTD_ID_MASK: u32 = 536870911;