Documentation for the C code too.