Loading annotation for flint.cs.yale.edu