Constraint for address to be inside 4k boundary

In reply to dave_59:

Thanks Dave for pointing out the mistake.