Under these circumstances, whenever the first instruction in a basic block is executed, the rest of the instructions are necessarily executed exactly once, in order.
이러한 환경 하에서, 기본 블록의 첫 번째 명령어가 실행될 때 마다, 나머지 명령어들은 필연적으로 순서에 따라 정확히 한 번 실행된다.