pimoroni-pico/micropython/badger2040_modules_py/boot.py

try:
    open("main.py", "r")
except OSError:
    with open("main.py", "w") as f:
        f.write("import _launcher")
        f.flush()