sS gazelle_deleteAllModulesForUser(S userID) {
  ret (S) dm_call(dm_gazelle_modulesManager(), 'deleteAllModulesForUser, userID);
}