/* This example demonstrates the use of comma operators.
 * It has no violation.
 */
#include<civlc.cvh>

$input int n=5;

void main() {
  int i,j, k;
  
  k = 0;
  for (i=0, j=1; i<=n; i++,j++) {
    k += i*j;
  }
  $assert(k == n*(n+1)*(n+2)/3);
}