base10: Codec = ...