Reescribir internet ya no es difícil. Lo difícil es asegurarse de que funciona correctamente. Se requerirá una verificación formal del código para asegurarse de que es correcto.