An implementation of RAFT