Don't really need `main`.