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