Test return statement C code generation