Loading annotation for cosette.cs.washington.edu