#!/usr/local/bin/tcc -run
#include <string.h>
char *fizz(int n){ return n % 3 ? "" : "Fizz"; }
char *buzz(int n){ return n % 5 ? "" : "Buzz"; }
char *fizzbuzz(char *buf, int n){
  strcpy(buf, fizz(n));
  strcat(buf, buzz(n));
  if (!strlen(buf)) sprintf(buf, "%d", n);
  return buf;
}
#include <stdio.h>
int main (void){
    int k=0,l=0,i=0,sum=0;
    do{
        printf("kとlを入力(0<=k<=l<=1000)\n");
        printf("k:");
        scanf("%d",&k);
        printf("l:");
        scanf("%d",&l);
    }while((0<=k)||(k<=l)||(l<=1000));

    for(i=k;i<=l;i++){
        sum+=i;
    }
    printf("総数は%d",sum);
    returm 0;
}