Sweet! I'd really like to know how big the resulting binary for that blinking leds example is.

This is really nice ! Thanks !