Stuff for the 6.470 project.