Encoding definitions.