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