internal void _tr_stored_block(int buf, // input block
int stored_len, // length of input block
bool eof // true if this is the last block for a file
){
send_bits((STORED_BLOCK<<1)+(eof?1:0), 3); // send block type
copy_block(buf, stored_len, true); // with header
}