pub fn mul_013_by_013_expr(
config: ExprBuilderConfig,
range_bus: VariableRangeCheckerBus,
xi: [isize; 2],
) -> FieldExpr
pub fn mul_013_by_013_expr(
config: ExprBuilderConfig,
range_bus: VariableRangeCheckerBus,
xi: [isize; 2],
) -> FieldExpr