Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?