[][src]Constant CCODE::psh12

pub const psh12: u32 = 1035;