pthread_attr_getstacksize
int pthread_attr_getstacksize(const pthread_attr_t * __restrict,
ATF_REQUIRE(pthread_attr_getstacksize(&attr, &stacksize) == 0);
RZ(pthread_attr_getstacksize(&attr, &size0));
RZ(pthread_attr_getstacksize(&attr, &size));
RZ(pthread_attr_getstacksize(&attr2, &size2));
RZ(pthread_attr_getstacksize(&attr, &stacksize));