fn __action42<'input>(
    source_info: &SourceInfo,
    input: &'input str,
    (_, __0, _): (usize, TestbenchLink, usize)
) -> Vec<TestbenchLink>