Z3 permissions test.