fn __action193<'input>(
    input: &'input str,
    (_, v, _): (usize, Vec<Box<Goal>>, usize)
) -> Vec<Box<Goal>>