Con dos punteros vtable (vtable*) por objeto, el tamaño del objeto aumenta en dos punteros, pero así sólo hay un Animal y no hay ambigüedad.