#pragma TASS input 
int N_BOUND;
#pragma TASS input {n >= 0 && n <= N_BOUND} 
int n;
#pragma TASS output 
int t;

void main () {	
  int i=1;
  int j=0;
  
  l2:
  while (i < n + 1) {
    j = j + i;
    i = i + 1;
  }
  t = j;
}
