[Python-Dev] Python strptime

I have implemented strptime in pure Python (SF patch #474274) as a drop-in replacement for the time module's version, but there is the issue of the time module being a C extension. Any chance of getting a Python module stub for time (assuming this patch is good enough to be accepted)? There is also obviously the option of doing something like a time2, but is there enough other time-manipulating Python code out there to warrant another module? It could be used for housing naivetime and any other code that does not directly stem from some ANSI C function. -Brett C.