Add backend specs to FFI directives

Now, they are specified to be for the C FFI