term: basic block

book.tex

@@ -7219,7 +7219,12 @@ an assignment statement followed by a $\Tail$ expression, a
 \code{goto}, or a conditional \code{goto}.}
 \python{lists of statements, which comprise of assignment statements
   and end in a \code{return} statement, a \code{goto}, or a
-  conditional \code{goto}.}
+  conditional \code{goto}.
+  \index{subject}{basic block}
+  Statement lists of this form are called
+  \emph{basic blocks}: there is a control transfer at the end and
+  control only enters at the beginning of the list, which is marked by
+  the label. }
 
 \newcommand{\CifGrammarRacket}{
 \begin{array}{lcl}