Loading annotation for speca.io