Configuration in synch with ConfigPPR.C (E. Futo).

No match.