Language construct that causes a given statement to be executed before the exit from the current function.
