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