-- output the block, then if it has an out edge, we move the
-- destination of the out edge to the front of the list, and continue.
-- output the block, then if it has an out edge, we move the
-- destination of the out edge to the front of the list, and continue.