Przepisanie internetu nie jest teraz wcale trudne. Trudne jest upewnienie się, że działa poprawnie. Wymagana będzie formalna weryfikacja kodu, aby upewnić się, że jest poprawny.