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