replace spurrious printf