Move another printf inside #ifdef VERBOSE