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