ref: 7ce12b649649aa1f31cb4fb5007284a4128f29a6 dir: /tests/execute/0127-doublecte.c/
double x = 100.0; int main() { return x < 1; }