Constant KRAF_DISABLEUSEDEFAULTPROVIDER 

pub const KRAF_DISABLEUSEDEFAULTPROVIDER: u32 = 8u32;