How to replace the IPv4 address in s1-runtime.json with the IPv6 address I want to use?

[foresnail]

In original s1-runtime.json, if I want to match the IPv4 address then ""hdr.ipv4.dstAddr": ["10.0.1.1", 32]" will be used. However, I have not seen any IPv6 demo in the tutorial, so I don't know how to replace the IPv4 address in s1-runtime.json with the IPv6 address I want to use. I have tried something like ""hdr.ipv6.dstAddr": ["fc01::1", 128]", but it doesn't work. (p.s. I have rewritten the relevant p4 file to support IPv6) Could you help me? Many thanks !