Loading annotation for introtcs.org