#include int main() { foo(22.3); return 0; } void foo(int x) { printf("%d", x); }
Prints 1. Why isn\'t it printing 22