Una cosa interesante que estoy agregando a un proyecto en este momento es que cada bucle while tendrá una propiedad max_loops que se está verificando cuando se compila en modo Debug o ReleaseSafe. Cada arreglo de tamaño dinámico tendrá verificaciones para asegurarse de que esté dentro de un rango esperado. Robando esta idea del equipo de tiger beatle.