#include <stdio.h>

int main()
{
        int x = 7;
        printf ("x = %f\n", *(double*) &x);
        return 0;
}