Loading annotation for luc.devroye.org