size-double.c   [plain text]

#include <stdio.h>

static double d;

int main(void)
{
  printf ("+++Double size:\n");
  printf ("%d\n", sizeof (d));
  return 0;
}