Constant height 

pub const height: Symbol;