Use volatile keyword in _PyTime_AsSecondsDouble()
from ... import ...
Miscellaneous source files for the main Python shared library