updated execution in main()