Constant esp_idf_sys::XCHAL_INT13_EXTNUM

pub const XCHAL_INT13_EXTNUM: u32 = 10;