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