#include <stdio.h>
#include <stdlib.h>
#define LANCI 1000

int main(void)
{
  int i, d1, d2;
  int a[13];      /* N.B. usa solo le posizioni [2..12] */

  for(i = 2; i <= 12; a[i] = 0, ++i)
     ;

  for(i = 0; i < LANCI; ++i)
     {
      d1 = rand() % 6 + 1; /* lancio del I dado */
      d2 = rand() % 6 + 1; /* lancio del II dado */
      ++a[d1 + d2];        /* incremento del contatore relativo */
     }

  for(i = 2; i <= 12; ++i)
     printf("%d: %d\n", i, a[i]);

  return 0;
}