Clean up the assignment to x before returning the result:

The cleanup is done even if there is an abort in the main expression being evaluated:

The same happens with other types of exceptions:

The cleanup is executed even though the evaluation is aborted:

The cleanup is done if an external constraint is reached during the evaluation of the main expression:

Constraints internal to WithCleanup are not treated specially:

Ensure that work files are properly closed even if a computation is interrupted:

The data was safely written to disk:

Similarly, ensure that temporary files are deleted no matter how a computation ends:

The file was successfully deleted:

An abort generated during initialization or cleanup will not prevent them from evaluating completely:

An abort during the evaluation of the main expression will cause its evaluation to end immediately:

An external control transfer in any argument will immediately end that argument's evaluation:

Note that the evaluation of the cleanup will happen if the transfer starts in an earlier argument:

In the last argument, the control transfer takes effect immediately:

The initialization and cleanup are effectively wrapped in AbortProtect:

Computations in the initialization and cleanup cannot be interactively aborted or time-constrained:

Move all nonessential code into the main expression: