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