Macro z3_constraint_u16 

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