Having these definitions in two different places is silly, especially when they must be identical. If they ever got out of sync, there would be problems.