Materials for an intro workshop on exceptions