int foo(); /*declaration*/
int main(void) {
foo(42) /*UB*/;
foo(3.14159);
return 0;
}
/*definition*/
int foo(double x) { return x; }
aW50IGZvbygpOyAvKmRlY2xhcmF0aW9uKi8KCmludCBtYWluKHZvaWQpIHsKICAgIGZvbyg0MikgLypVQiovOwogICAgZm9vKDMuMTQxNTkpOwogICAgcmV0dXJuIDA7Cn0KCi8qZGVmaW5pdGlvbiovCmludCBmb28oZG91YmxlIHgpIHsgcmV0dXJuIHg7IH0=