#include <stdio.h>

a(int n)
{
  int total;

  total = 0;
  while (n > 0) {
    total += n;
    n--;
  }
  return total;
}
    
  
main(int argc, char **argv)
{
  int i;

  i = a(3);
  printf("%d\n", i);
}