fn __action70<'input>(
    source_info: &SourceInfo,
    input: &'input str,
    __0: (usize, String, usize),
    __1: (usize, Vec<TestbenchCommand>, usize)
) -> Testbench