printf( DBG_FILELINEFMT ": extra message" DBG_PASS );