Constraint for address to be inside 4k boundary

In reply to Chandrashekhar Goudar:

Please show us declarations for all variables, and an example of values you are getting that should not meet the constraints.