FFIFunctions now use the correct types for vmint and vmfloat arguments