to exit [ exited ; exited ]