add a debug message to main()