#include <upc.h>

upc_lock_t flag;

int main() {
  return 0;
}