modulepar { Ipv6MaskedAddress PXT_IPv6_MASKED_ADDR_TESTER : = int2oct ( 0 , 16 ) , int2oct ( 0 , 16 ) }