Problem with Nina W102 startup on MKR 1010

True!

But in the library sources, in the same file, we have this at the top:
#ifndef NINA_GPIOIRQ
#define NINA_GPIOIRQ NINA_GPIO0
#endif

I will check with Arduino IDE if NINA_GPIOIRQ is defined for MKR 1010 WiFi.