Source: https://datasheets.raspberrypi.com/pico/raspberry-pi-pico-c-sdk.pdf