Experiment with procedural macros.
Examples for KLEE usage.
id-IoT, keep it stupid simple
RTIC-0, how low can you go without procedural macros?
Experimental widget development for druid