/* TAGS: c */ #include #include int write() { printf( "foo" ); return 42; } int main() { assert( write() == 42 ); }