A GNU general-purpose parser generator