Constant HTTP_RECEIVE_SECURE_CHANNEL_TOKEN 

pub const HTTP_RECEIVE_SECURE_CHANNEL_TOKEN: u32 = 1u32;