#include <upc.h>
#include <stdlib.h>
#include <stdio.h>

int main() {
  void *p1 = malloc(4);
  void (*fp)(void*) = free;
  fp(p1);
  upc_barrier;
  if (!MYTHREAD) printf("done.\n");
  return 0;
}