static bool stefansPC() {
  ret isStefanReichsPC();
}