interface Date {

  int <spot>getMonth</spot>();
}