Virtual functions, though generally a blessing, have a defect-prone dark side. No language, that I know of, provides a way to encode when the base