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