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