Constant checked_rem_euclid 

pub const checked_rem_euclid: Symbol;