Arm Interview Question

Implement the effects of randc using constraints