now write buffer appends writes to the end (rather than insert in the head)
clear some old comments and TODOs
update unlock()
add some useful tactics to XLib.v
determine the form of buffer and threads, next is semantics