rough-main()