import org.jetbrains.annotations.Range;

interface Date {

  @Range(from = 1, to = 12)
  int getMonth();
}