Add stdlib documentation for C interface functions