I don't really want to add a `main()` function here.