All forms of exec
never return; they replace the currently running image with the indicated executable. The key word here is "replace".
The only circumstance in which the statement following a call to exec*
gets executed is if the exec
fails (for example, if it cannot find the executable).