Programs for generating videos of SBC behavior (AspectVideo) and looking at aspect module behavior (AspectTest)