Loading annotation for compilers.cs.ucla.edu