Rough Consensus and Running Code