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