refacotr: split ffi.cdef into two header files