My first question about this thing is how "leaky" the abstraction is. If you frequently have to make allowances for how C is not _actually_ a language with an o

My first question about this thing is how "leaky" the abstraction is. If you frequently have to make allowances for how C is not _actually_ a language with an object system, that's going to be a problem. But it seems like it should be possible (with liberal macro use) to make a relatively leak-free abstraction, and if this is it, that's pretty cool.