#include <stdio.h> static int i; int main(void) { printf ("+++Int size:\n"); printf ("%d\n", sizeof (i)); return 0; }