Encoding examples as code.