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