src/delta_lease.c src/delta_lease.h src/direct.c src/host_id.c src/paxos_lease.c