I’m implementing a full electronic dice with Raspberry Pi Pico 2, using the random() function of the Arduino IDE and LEDs