Add a couple more examples illustrating why we need vtordisps and how they work