class Instanceof {

Instanceof(){
    super(());
  }
  void checkInstanceof(){
    TPH a;
    a = 4;
    return a instanceof java.lang.Integer;
  }

  void checkInstanceOfWithPattern(){
    TPH b;
    b = 4.0;
    if(b instanceof d)
      {
        return d;
      }
    else
      {
        return Kein Double;
      };
  }

  Instanceof(){
    super(());
  }

}