These could either benefit from not being in C++ (see comments far down below), or the `externfn!` macro to avoid sprinkling annotations all over the place.