with DigitalInOut(led_pin) as led:
             led.direction = Direction.OUTPUT
             # should now be OUT, PUSH_PULL, value=0, and LED should light
         with DigitalInOut(led_pin) as led:
             led.direction = Direction.OUTPUT
             # should now be OUT, PUSH_PULL, value=0, and LED should light