This module is used by the B::CC back end. It walks ``basic blocks''.
A basic block is a series of operations which is known to execute from
start to finish, with no possiblity of branching or halting.