cs417-lecture-examples