pub fn u8mul( builder: &mut ConstraintSystemBuilder<'_>, lookup_batch: &mut LookupBatch, name: impl ToString + Clone, mult_a: OracleId, mult_b: OracleId, n_multiplications: usize, ) -> Result<OracleId, Error>