So which way is correct with the proper, non-prerelease 3.4? `Decl` or `Declaration`? I agree that we should do whichever the proper 3.4 supports.