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