Correct declarations