Loading annotation for synalp.frama.io