Better notation for the long-message test