src/delta_lease.c src/diskio.c src/diskio.h src/paxos_lease.c