//Dog_pv01.java
public class Dog_pv01 extends Animal_pv01{
    public Dog_pv01(String name){
        super(name);
    }
}