implementation module StdChannels