pub const Empty: Symbol;