Transfer control to the *real* `main` function