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