#include  <pthread.h>


int main(void) {
 int stksize;
 pthread_attr_t attribute = pthread_attr_default;

/* pthread_attr_create(&attribute);
*/

 stksize = pthread_attr_getstacksize( attribute);
 printf("stacksize is %d\n", stksize);

 return 0;
}