Can we take thread id of pthread as input from the user?
Is this the right way?

```
  int main(int argc, pthread_t id, char *argv[])

```

Or taking the input in a void pointer and then casting it to a long unsigned int? None of this is giving the correct answer. Is there a way that we can do this?