source: CIVL/mods/dev.civl.com/examples/gen/gen.c@ cb4d4f4

/** since the arguments of main is never used, they would
 *  be removed by the general transformer. 
 *  This example should pass.
 */
int sum(int k){
  return (1+k)*k/2;
}

int main(int argc, char* argv[]){
  int a=9;

  a = sum(a);
  return 0;
}