fn __pop_Variant12<'input>( __symbols: &mut Vec<(usize, __Symbol<'input>, usize)> ) -> (usize, Vec<TestbenchLink>, usize)