stuff for cs132