Revert "remove push/pop from KR_parameter_list and typedef_declaration" There may be a bad interaction between this commit and my recent commit.
This reverts commit 09e400e0f48ee973fde037d409e7ec21ed5d8644.