pico_rand() is now a weak symbol to allow alternative implementations.