Arm interview question

Implement the effects of randc using constraints