Experiment with procedural macros.
Hardware lab assignment for E7020E 2021
Examples for KLEE usage.
Klee examples
id-IoT, keep it stupid simple
RTIC-0, how low can you go without procedural macros?