fn __action0<'input>( source_info: &SourceInfo, input: &'input str, (_, __0, _): (usize, Testbench, usize) ) -> Testbench