* Use statically allocated non-buffered ipc_channel * Replace ipc_channel_is_full() with ipc_channel_has_readers()