pub const non_exhaustive: Symbol;