Implement firing exit handler in return case.

Exception unwind case still to come.