pub fn unconstrained<FS>( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, log_size: usize, ) -> Result<OracleId, Error>where U: PackScalar<FS> + Pod, F: TowerField + ExtensionField<FS>, FS: TowerField,