int main(void) { int x = 1; double y = 2.; return 0; }