What are the block of statements that are executed in a loop considered to be part of

Programmers make use of what type of program in order to translate higher-level language statements into machine code?