testcase_42_ipv6.py: extract 'prod' from parameters