pub const const_constructor: Symbol;