shuffle_up        179 src/shared/prioq.c         shuffle_up(q, k);
shuffle_up        210 src/shared/prioq.c                 shuffle_up(q, k);
shuffle_up        263 src/shared/prioq.c         shuffle_up(q, k);