// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: MIT-0

int receive() {
  // model receiving an unconstrained integer value from the network
  int msg;
  return msg;
}

void send(int msg) {
  // model sending an integer over the network (nothing to do)
  return;
}