Loading annotation for ide.mit.edu