Loading annotation for drmemory.org