pub const none_error: Symbol;