Z3 Macro Samples - I hope these help someone.