declare namespace pins {
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_A0)
    const A0: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_A1)
    const A1: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_A2)
    const A2: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_A3)
    const A3: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_A4)
    const A4: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_A5)
    const A5: PwmPin;

    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D0)
    const D0: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D1)
    const D1: PwmPin;


    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D4)
    const D4: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D5)
    const D5: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D6)
    const D6: PwmPin;



    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D9)
    const D9: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D10)
    const D10: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D11)
    const D11: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D12)
    const D12: PwmPin;
    //% fixedInstance shim=pxt::getPinCfg(CFG_PIN_D13)
    const D13: PwmPin;

}