> But can I still write a library in C3 and export the symbols to use in bindings?
Yes, it has the same ABI.