int main(void) { double x = 1; while (x) x /= 2; return x; }