__UPC_{PHASE,THREAD}_TYPE__ should be unsigned