Constant aleo 

pub const aleo: Symbol;