I'm trying to let mods ban other than regular users

[Bucky Goldstein]

does somebody know where the code it that restricts them from banning members of groups other than "normal, regular users" is?