Constant ppcf128 

pub const ppcf128: Symbol;