DPI-C error from C to SV

Thanks Dave! I think that fixed it. Although I think the error message was cryptic.