constructor {
  New : ();
};

service Ping {
  Ping : (input: str) -> result (str, str);
};