f18A: added writeread_test
erlang: radically simplified channel logic (thank you TLA+git add src/)