string manipulation in cython,"re.sub('  +', ' ', s)"