a mandolin is for old time music