Fun with Python RE