I have a 10 digit random number and want to check if it's dividable by 9 (other restrictions are upper three digits cannot consecutive in increasing order (0-1-2, 8-9-0 both not ok)).I'm thinking declare a packed array, and use constraint as {array} >>} % 9 != 0 to do. But don't know how to declare a packed integer array.