An example use of the ABCMeta class