Loading annotation for wiki.osdev.org