Don't cover main()