```
            led.set_high();
            led.set_low();
```

Do you have a scope that can detect a 2ns pulse?