Method capture

examples/server/server.py:4510–4512

(match: re.Match[str])

        strings: List[str] = []

        def capture(match: re.Match[str]) -> str:
            strings.append(match.group(1))
            return f"\x00{len(strings) - 1}\x00"

        stripped = text.strip()
        if stripped.startswith("[") and stripped.endswith("]"):