Constant max_value 

pub const max_value: Symbol;