ptera-th-0.6.0.0: A parser generator