[nine_k]

All the convenience and all the unsafety of C code while interacting with C code? Why not just use C, or C++ if expression power is needed?

[elcritch]

Same reason as using unsafe Rust to interface w/ C/C++, to wrap the the unsafe bits and make safer API's asap. Nim's macros also making interactions with C API's safer. To be clear, I'll be glad when Nim checks these things by default (the Z3 checker will be great for that!).