Constant DEFAULT_CASE_FILE_NAME 

pub const DEFAULT_CASE_FILE_NAME: &str = "cma_case";