Uma coisa interessante que estou a adicionar a um projeto neste momento é que cada loop while terá uma propriedade max_loops que está a verificar quando compilado com o modo Debug ou ReleaseSafe. Cada array de tamanho dinâmico terá verificações para garantir que está dentro de um intervalo esperado. Estou a roubar esta ideia da equipa do tiger beatle.