Z3n Tests (a31548 a722e2/1754609193)