Capitalise boolean values in output of C code generator.
Make some more tests runnable.