Constant WCOJ_TRIANGLE_COUNT_HG_U64 

pub const WCOJ_TRIANGLE_COUNT_HG_U64: &str = "wcoj_triangle_count_hg_u64";