void foo(int x) { static_cast(x); }