Tests for generated C code