void *(*__CS_thread[2 +1])(void *);

int main(){
  __CS_thread[0](0);
}