k_set_rcvbuf
extern void k_set_rcvbuf(int bufsize);
k_set_rcvbuf(48*1024); /* lots of input buffering */