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