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