pub const termination_trait: Symbol;