private static extern unsafe int GC_PTHREAD_CREATE(ref int pthread, ref PthreadAttr attr, void *startRoutine, object arg);
private static extern int pthread_attr_destroy(ref PthreadAttr attr);
private static extern int pthread_attr_setstacksize(ref PthreadAttr attr, int stacksize);
private static extern int pthread_attr_init(ref PthreadAttr attr);