Constant WCOJ_CLIQUE7_COUNT_HG_U32 

pub const WCOJ_CLIQUE7_COUNT_HG_U32: &str = "wcoj_clique7_count_hg_u32";