/* This module implements a priority queue as a heap as described in
Knuth 5.2.3. This is a first-in-smallest-out priority queue. */
/* This module implements a priority queue as a heap as described in
Knuth 5.2.3. This is a first-in-smallest-out priority queue. */