Generated C code works