Code for the printf example is not properly optimized.

[yallop]

At the time of writing, make test produces the following output:

fun x_7  ->
  fun y_8  ->
    ((Pervasives.string_of_int x_7) ^ "") ^
      ((* CSP a *) ^ ((Pervasives.string_of_int y_8) ^ ""))>.

This is not what we would hope: there should be no empty string catenations