Constant WORK_PRODUCTS_FILENAME 

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