C `FILE` stream from Python BufferedIO object

Question

I am writing a Python binding for a C library function that requires a FILE * handle as an input.

I want the Python caller to pass an open io.Buffe