(q ((0x0000000000000000000000000000000000000000000000000000000000000000 (q . 1) () ())))
FAILED: 10