module example_9

enum EchoMe {
    zero = 0;
    one = 1;
}

interface Echo {
  0: Echo(uint32 @uint32) -> (uint32 response);
  1: Echo(uint64 @uint64) -> (uint64 response);
  2: Echo(EchoMe req) -> (EchoMe response);
  3: Echo(handle req) -> (handle response);
  4: Echo(handle<channel> req) -> (handle<channel> response);
}

const EchoMe favorite_echo = zero