Z3n Tests (a2dc08 b9007f/1765443899)