I need help to write a program in C language on Linux using threads and binary semaphore, print numbers from 0 to 9, please?