Both these two functions and the above random_bytes stuff are in the C++-only export group, but I think they're appropriate to put in the C interface, right?