When running the "blinking" example, I get a compilation error : ``` leds.top is not a defined variable ``` Looks like there's a missing `call` in the generated code, no? Using function calls to `nf_leds_top()` fix the problem, but is far less intuitive...