pub const partialderivative: u32 = 0x8ef; // 2_287u32