Better `main`