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