The examples used in the paper "Solving the expression problem with 
true separate compilation". Also includes a pretty printing extension 
so that you can actually look at the results!