int main() { double d; return 0; }