This is an exact duplicate of the const definition below it.