Loading annotation for cure53.de