s4:dns.py: reproducer for (bug #9184)