modified:   sophia_ffi.lua