Reescrever a internet não é mais difícil agora. O difícil é garantir que está funcionando corretamente. Será necessária uma verificação formal do código para garantir que ele esteja correto.