* gdb.c++/virtfunc.cc: Declare extern "C" printf to return int, not void. fche says he vaguely remembers a problem with returning int instead of void, but ISO C sez printf returns int, so let's see what happens.