Macro z3_constraint_u32 

z3_constraint_u32!() { /* proc-macro */ }