Playing with native extensions in Python