void UPCRI_INIT_pgen_6953898206118(void) { UPCR_BEGIN_FUNCTION(); UPCR_SET_SRCPOS("_pgen_6953898206118_INIT",0); }
void UPCRI_INIT_upc_pthread_hello_world_2672127685(void) { UPCR_BEGIN_FUNCTION(); UPCR_SET_SRCPOS("_upc_pthread_hello_world_2672127685_INIT",0); }
void UPCRI_ALLOC_pgen_6953898206118(void) { UPCR_BEGIN_FUNCTION(); UPCR_SET_SRCPOS("_pgen_6953898206118_ALLOC",0); }