pub const DUMMY_SPECIFIER: &'static str = "<unknown>";