#include <stdio.h>

void main() { printf("sizeof(double): %d\n", sizeof(double)); }