module StrLen {
    @Inject Console console;

    void run(String s = "José") {
        console.print($|For the string {s.quoted()}:
                       |  Character length:  {s.size}
                       |  UTF-8 byte length: {s.calcUtf8Length()}
                     );
    }
}