A functional programming language layered atop the C99 macro system. Can be used to write macro metaprograms in a somewhat sane way.