source: CIVL/mods/dev.civl.com/examples/compare/sum/sumNspec.cvl@ bc0fbae

#include<civlc.cvh>
$input int N;
$output int sum;

void main() {
  int localsum = 0;
  for (int i = 1; i <= N; i++) {
          localsum+=i;
  } 
  sum = localsum;
}