//lib/grub/i386-pc/priority_queue.mod