/circuitpython/ports/raspberrypi/build-raspberry_pi_pico/shared-bindings/sdcardio/