A Replicated Distributed File System.