You can be sure that Dijkstra understood that control structures are implemented in terms of jumps in the underlying machine language. He probably also assumed

You can be sure that Dijkstra understood that control structures are implemented in terms of jumps in the underlying machine language. He probably also assumed the reader would know that.