Constant INTRO 

pub(crate) const INTRO: &str = "This is the Leo Interpreter. Try the command `#help`.";