Reg addr limits
Cons-Id Constraint