Notes concerning “Dynamic dispatch”