6.828 lab4