pub fn get_modular_addsub_step<const BLOCKS: usize, const BLOCK_SIZE: usize>(
config: ExprBuilderConfig,
range_checker_bus: VariableRangeCheckerBus,
pointer_max_bits: usize,
offset: usize,
) -> ModularExecutor<BLOCKS, BLOCK_SIZE>
pub fn get_modular_addsub_step<const BLOCKS: usize, const BLOCK_SIZE: usize>(
config: ExprBuilderConfig,
range_checker_bus: VariableRangeCheckerBus,
pointer_max_bits: usize,
offset: usize,
) -> ModularExecutor<BLOCKS, BLOCK_SIZE>