Constant WORK_PRODUCTS_FILENAME

const WORK_PRODUCTS_FILENAME: &str = "work-products.bin";