Use struct thread_args instead of casting integer to void pointer