140
140
PyAPI_FUNC(void) PyInt_Fini(void);
141
141
PyAPI_FUNC(void) PyFloat_Fini(void);
142
142
PyAPI_FUNC(void) PyOS_FiniInterrupts(void);
145
145
/* Stuff with no proper home (yet) */
146
146
PyAPI_FUNC(char *) PyOS_Readline(FILE *, FILE *, char *);