// File Mammifero.java

class Mammifero extends Animale {
  protected int mesi_di_gestazione;
  public Mammifero(String g, String s, String c, int m) {
    super("Mammifero",g,s,c);
    mesi_di_gestazione = m;
  }
  public int getMesiDiGestazione() { return mesi_di_gestazione; }
}