Constant CONFIG_NETTLE 

pub const CONFIG_NETTLE: u32 = 1;