channel

record channel {
  value: string,
}