[c-ffi tests] Don't use symbols not provided by testworks.