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