Constant then 

pub const then: Symbol;