pub const True: Symbol;