So `write_buf(&size_t_0, NULL, len, data)` triggers a segfault?