Hi, Here patch that adds z3 security interaction. where should i submit it? -------------- next part -------------- A non-text attachment was scrubbed... Name: securitypolicy.diff Type: text/x-patch Size: 3519 bytes Desc: not available Url : http://codespeak.net/pipermail/z3-five/attachments/20061021/b989262b/attachment.bin