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