Loading annotation for deadspecs.work