public interface De {
  public int jet();
}