Constant HALCONHELP

pub const HALCONHELP: &[u8; 11] = b"HALCONHELP\0";