/*
 * From GDB bug report 567
gcc -g -m64 -o double double.c
gcc -g -o double double.c
 *
 * The report says to breakpoint on the printf line
 * & print the value of d1
 */
extern int printf(const char *, ...);

    int
    main()
    {
        double d1;

        d1 = 3.3;
        printf("d1 = %f\n", d1);

        return 0;
    }