Constant TWAI_EXT_ID_MASK 

pub const TWAI_EXT_ID_MASK: u32 = 536870911;