Reescribir internet en realidad no es difícil ahora. Lo que es difícil es asegurarse de que funcione correctamente. Se requerirá verificación formal del código para asegurarse de que sea correcto.