svoid dm_refreshTranspiler() {
  call(dm_moduleOfType("#1017065/Transpiler"), 'refresh);
}