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