args length can be 0 in main()