Constant CONFIG_GMP

Source
pub const CONFIG_GMP: u32 = 0;