void foo() { int i; printf("%zd", i); }