__cached_mp_write
extern int __cached_mp_write(cached_mp_write_session, const char *, size_t);
res = __cached_mp_write(ws, buffer, buffer_size);