fixed SymvFun ffi type