Loading annotation for syslab.cs.washington.edu