pub const OS_SERVERADMINUI: OS;