Is this definition being used (implicitly) in the old code?