exit
exit : (-> void)
purpose: to exit the running program