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