pub const mem_discriminant: Symbol;