#include <upc.h>
int main() {
  int x = upc_threadof(0);
}