further work on string handling in main()