Python: example usage of the strex library