withToString
Codec