sourcecode for cmubuggy.org