Loading annotation for sts-program.mit.edu