demo code for CS1305, spring 2013