From https://devguide.python.org/compiler/#source-code-to-ast:

> Basic blocks themselves are a block of IR that has a single entry point but possibly multiple exit points.

In particular, compile.c's label_exception_targets has the assertion (`assert(i == b->b_iused -1);`) that jumps only occur as the last instruction of a block.

Does the devguide need updating, or do I have a misunderstanding?