Implemented main()