Source code for my article Intro to Broccoli