svoid profileTranspilationToWindow(S snippetID) {
  showText("Profile", profileToString(r {
    S src = loadSnippet(snippetID);
    print("Transpiling " + snippetID + "...");
    time "Transpile" {
      transpileRaw(src);
    }
  }));
}