void check_alive() { if ((servant == null) || !servant.IsAlive) throw new TargetException (TargetError.NoTarget); }