Constant termination_trait 

pub const termination_trait: Symbol;