Loading annotation for redef.com