Is there any good reason to have one big c-extension file with 3727 lines instead of several small ones?