Getting familiar with C extensions in Python, FFI, etc.