Constant WORKDIR_STATE_FILE 

pub const WORKDIR_STATE_FILE: &str = "state.json";