pub(crate) const BUG_REPORT_URL: &str = "https://github.com/kaist-cp/hazardflow";