unit pqueue = {

imports[ malloc : Malloc_T panic : Panic_T iids : { oskit_iunknown_iid oskit_pqueue_iid } ]; exports[ out : PQueue_T ]; ...

}