pub const FUNC_MZ_AVG_PROMOTION_F64_OID: u32 = 16_404;