pub const termination_trait_test: Symbol;