PROGRAMS BY www.pdos.lcs.mit.edu/~decouto/garble