Constant checked_abs 

pub const checked_abs: Symbol;