ref: 2498b06cc6ad53a64940ad714e3feb3fed88f12d dir: /tests/execute/0123-doubleconst.c/
double x = 100; int main() { return x < 1; }