> But can I still write a library in C3 and export the symbols to use in bindings?

Yes, it has the same ABI.