more tiny main()