/*
 * test.c - figure out if a 64-bit type is available
 *
 * This file is automatically generated by Configure
 * from test3_c.in.
 */

#include <stdio.h>

int main(int argc, char **argv) {
    long double foo;
    printf("%u", sizeof(foo));
    return 0;
}
