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