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