#include <oskit/com/pqueue.h>
const oskit_iid_t oskit_pqueue_iid = OSKIT_PQUEUE_IID;