To do: per-thread sleeping (pseudo device for select time) timer_sleep is default deadlock handler? buffered channels: select and selectable