Yes, I also discussed this with clyybber a while ago - <https://irclogs.nim-lang.org/24-04-2021.html#12:05:16> (that's when `offsetof` hack was suggested), but I ended up writing macro that generates this initialization abomination (with explicit assigns) to please the prover. Now it got into it again, and I _cannot_ use the earlier solution because of the <other reasons>
- Generic way to set discriminant value that works on both C and... haxscramper
