If so, we should probably start doing the awkward extern+no_mangle all of the stuff we ffi, which we can auto-generate because we already do that for the ffi stuff, but is a bit of a pain