An implementation of the UBIK replication protocol in D.