Constant checked_sub 

pub const checked_sub: Symbol;