ppxx

Ppxx: a small extension library for writing PPX preprocessors