Constant DUMMY_FILE_NAME 

pub const DUMMY_FILE_NAME: &str = "dummy.rs";