Loading annotation for go.coverity.com