pub fn g(
builder: &mut ConstraintSystemBuilder<'_>,
name: impl ToString,
a_in: OracleId,
b_in: OracleId,
c_in: OracleId,
d_in: OracleId,
mx: OracleId,
my: OracleId,
log_size: usize,
) -> Result<[OracleId; 4], Error>