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