And interestingly, one of the problems raised in the article __attribute__((target("arm"))) void interrupt_handler() { ... } that fancy __

And interestingly, one of the problems raised in the article __attribute__((target("arm"))) void interrupt_handler() { ... } that fancy __attribute output can be achieved quite nicely using a custom pragma/codegendecl -- we did exactly this for the embedded firmware written in Nim at my previous workplace, to get access to some specific features of the ESP32-S3 (things like RTC_ATTR_NOINIT for example)