Moved more printfs inside #ifdef VERBOSE