/usr/bin/re2py /usr/share/man/man1/re2py.1.zst /usr/share/re2c/stdlib/python