[
    std.decodeUTF8([]),
    std.decodeUTF8([65]),
    std.decodeUTF8([65,65,65]),
    std.decodeUTF8([194,167]),
    std.decodeUTF8([122,97,197,188,195,179,197,130,196,135,32,103,101,197,155,108,196,133,32,106,97,197,186,197,132]),
]