svoid innerCleanUpAndReRunMain() {
  innerCleanUp();
  callMain();
}