Loading annotation for frodokem.org