anchor.diff:    }
   }
   
  +def jitpack(): Unit = {
  +  println("Triggering jitpack ...")
  +  val r = Os.proc(ISZ(mill.string, "jitPack", "--owner", "sireum", "--repo", "runtime", "--lib", "library")).at(home).run()
  +  r match {
  +    case r: Os.Proc.Result.Normal =>
  +      println(r.out)
  +      println(r.err)
  +      if (!r.ok) {
  +        eprintln(s"Exit code: ${r.exitCode}")
  +      }
  +    case r: Os.Proc.Result.Exception =>
  +      eprintln(s"Exception: ${r.err}")
  +    case _: Os.Proc.Result.Timeout =>
  +      eprintln("Timout")
  +      eprintln()
  +  }
  +  println()
  +}
  +
   def compile(): Unit = {
  -  def triggerJitPack(): Unit = {
  -    if (Os.isMac) {
  -      println("Triggering jitpack ...")
  -      val r = Os.proc(ISZ(mill.string, "jitPack", "--owner", "sireum", "--repo", "runtime", "--lib", "library")).run()
  -      r match {
  -        case r: Os.Proc.Result.Normal =>
  -          println(r.out)
  -          println(r.err)
  -          if (!r.ok) {
  -            eprintln(s"Exit code: ${r.exitCode}")
  -          }
  -        case r: Os.Proc.Result.Exception =>
  -          eprintln(s"Exception: ${r.err}")
  -        case _: Os.Proc.Result.Timeout =>
  -          eprintln("Timout")
  -          eprintln()
  -      }
  -      println()
  -    }
  -  }
   
     def tipe(): Unit = {
       println("Slang type checking ...")
  
positive.code:   case string"compile" => compile()
    case string"test" => test()
    case string"m2" => m2()
  }
negative.code:     println()
    }
  
    if (Os.isMac) {
      jitpack()
    }
    tipe()
    println("Compiling ...")
    Os.proc(ISZ(mill.string, "all", "runtime.library.jvm.tests.compile")).at(home).console.runCheck()
  