code: def main() -> None:
      Execute the main routine."""
      modules = [
          "functions_100_with_no_contract",
  
          "functions_100_with_1_contract",
          "functions_100_with_5_contracts",
          "functions_100_with_10_contracts",
  
          "functions_100_with_1_disabled_contract",
          "functions_100_with_5_disabled_contracts",
          "functions_100_with_10_disabled_contracts",
  
          "classes_100_with_no_invariant",
  
          "classes_100_with_1_invariant",
          "classes_100_with_5_invariants",
          "classes_100_with_10_invariants",
  
          "classes_100_with_1_disabled_invariant",
          "classes_100_with_5_disabled_invariants",
          "classes_100_with_10_disabled_invariants",
      ]
  
      for a_module in modules:
          durations = []  # type: List[float]
          for i in range(0, 10):
              duration = float(
                  subprocess.check_output(["./measure.py", "--module", a_module], cwd=os.path.dirname(__file__)).strip())
              durations.append(duration)
  
          print("Duration to import the module {} (in milliseconds): {:.2f} ± {:.2f}".format(
              a_module, statistics.mean(durations) * 10e3, statistics.stdev(durations) * 10e3))
docs: Execute the main routine.