A single-entry, single-exit loop, in which the loop control is executed after the loop body.