This really reminds me of a project called TinyGC/tgc[0], made by Daniel Holden who is currently a Ubisoft researcher. I have also tried his Cello[1] framework

This really reminds me of a project called TinyGC/tgc[0], made by Daniel Holden who is currently a Ubisoft researcher. I have also tried his Cello[1] framework for C99 which also incorporated a garbage collector similar to tgc. Cello is pretty fun to use but the syntax was still limiting. [0]: https://github.com/orangeduck/tgc https://github.com/orangeduck/tgc [1]: https://github.com/orangeduck/Cello https://github.com/orangeduck/Cello