Couldn't find “deharovirtual” automatically.