See
__exit__
.