class Instanceof {

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

  Instanceof(){
    super(());
  }

}