Does gen_tcp do any "user level" buffering of packets/binaries? And if it does then is there any way to report the number/size buffered? For both send and receive?