quit the main()