operation proper exit

;