Return control to user code after interactive execution (#114)