Constant u128_legacy_const_max 

pub const u128_legacy_const_max: Symbol;