pub const termination: Symbol;