svoid dm_enableCodeSharingForOS(bool enabled) {
  dm_setOS(useCodeSharing := enabled);
}