int foo(auto int x, auto int y) { ... ; }