pub unsafe extern "C" fn vpi_register_assertion_cb( assertion: vpiHandle, reason: PLI_INT32, cb_rtn: vpi_assertion_callback_func, user_data: *mut PLI_BYTE8, ) -> vpiHandle