Menulis ulang internet sebenarnya tidak sulit sekarang. Yang sulit adalah memastikannya berfungsi dengan benar. Verifikasi formal kode akan diperlukan untuk memastikannya benar.