Write asciiz string to buffer and flush
#include <buffer.h>
int buffer_putsflush(buffer* b,const char* x);
buffer_putsflush is like buffer_putflush with len determined as the number of bytes before the first \0 in x.
buffer_put(3), buffer_flush(3), buffer(3)