Character code converters.
