Constant HALCONEXAMPLES

pub const HALCONEXAMPLES: &[u8; 15] = b"HALCONEXAMPLES\0";