void setup() {
  uint32_t *GPIO_OUT_W1TS = (uint32_t *)0x3ff44008;
  uint32_t *GPIO_ENABLE_W1TS = (uint32_t *)0x3ff44024;

  *GPIO_ENABLE_W1TS = bit(2);
  *GPIO_OUT_W1TS = bit(2);
}

void loop() {
  // put your main code here, to run repeatedly:

}