Olá! Suponho que retorna 12 ao invés de 11 no código feito em Hare porque o len te dá o tamanho da string byte a byte e caracteres com acento precisam de mais de 1 byte para serem representados

Rapaz... é uma ótima suposição! Acho que deve ser isso mesmo. Primeira vez que recebo um comentário falando sobre a Hare kkkkk

Acabei de testar aqui, e realmente, se eu trocar "Olá" por "Ola", o resultado passa de 12 para 11.