a jaunty tune is whistled