Would recommend checking out the Zig state of the (tagged) union as well.

https://youtu.be/zwi5b5xSsKA?is=PTjJJjSnVMdRuZag

It may surprise some people here to see that Andrew is warming up to using LLMs to discover bugs (inspired by results from SQLlite) and considers it a tool on the path to getting to bug free software.