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