¿Cuál es la salida del siguiente código?

public class Animal {
   public virtual string HacerSonido() {
      return "Un animal hace un sonido";
   }
}
public class Perro : Animal {
   public override string HacerSonido() {
      return "Un perro ladra";
   }
}
public class Gato : Animal {
   public override string HacerSonido() {
      return "Un gato maúlla";
   }
}
public class Program {
   static void Main(string[] args) {
      Animal miAnimal = new Animal();
      Animal miPerro = new Perro();
      Animal miGato = new Gato();
      Console.WriteLine(miAnimal.HacerSonido());
      Console.WriteLine(miPerro.HacerSonido());
      Console.WriteLine(miGato.HacerSonido());
   }
}