Lab for MIT 6.824 -- Distributed systems engineering