pub const VoidSymbol: Key;