adjusted `main` definition.