#include <stdio.h>
#include <pthread.h>
int main(void) {
printf("%d\n", sizeof(size_t)); // 4 confirms that it's a 32 bit system printf("%d\n", sizeof(pthread_barrier_t
)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxwdGhyZWFkLmg+CgppbnQgbWFpbih2b2lkKSB7CglwcmludGYoIiVkXG4iLCBzaXplb2Yoc2l6ZV90KSk7IC8vIDQgY29uZmlybXMgdGhhdCBpdCdzIGEgMzIgYml0IHN5c3RlbQoJcHJpbnRmKCIlZFxuIiwgc2l6ZW9mKHB0aHJlYWRfYmFycmllcl90KSk7CglyZXR1cm4gMDsKfQo=