Loading annotation for fermat.ws