function initial() {
.
.
}


function final () {
.
}

trap final INT
initial
final