base256emoji: Codec<"base256emoji", "🚀"> = ...