The declaration in the header should be visible from here, so that here and there are checked to be consistent with one another.