Loading annotation for www.composingprograms.com