Macro z3_constraint_u64 

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