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