@0x8c309c720de8cf7c;

interface Echoer {
  echo @0 (input : Data) -> (output : Data);
}