Read carefully and implement a C++ program using semaphores.

In this laboratory, you will implement the Producer-Consumer Pattern in a bounded buffer using semaphores. The bounded buffer is a stack (`std::stack`). The buffer size should not exceed 10,000 elements. This is your shared data.

1. **Create a method called `producer()`:**
- This method will generate a random number from 1 to 10.
- The generated number will be pushed into the stack buffer.
- Sleep for a random time between 1 to 100 ms before adding another number to the buffer.
- Repeat this process 10,000 times.

2. **Create a method called `consumer()`:**
- This method will remove an item from the stack buffer.
- Accumulate the removed (popped) value into a variable called `SUM`.
- Sleep for a random time between 1 to 100 ms before removing another number from the buffer.

3. **Main Method:**
- Produce four threads: two `producer()` and two `consumer()` threads.
- Note: Since there are two `producer()` threads producing a total of 20,000 random numbers, the stack buffer may reach its maximum limit of 10,000. Therefore, a producer thread has to wait before generating another random number and placing it into the stack. Print "Stack Full Producer Waiting [thread-id]" when a producer is waiting.
- The two consumer threads will continuously remove items from the stack. The stack buffer may become empty, requiring the consumer thread to wait until the stack has content. Print "Stack Empty Consumer Waiting [thread-id]" when a consumer is waiting.
- The program terminates when both producers finish adding random numbers into the stack and both consumers fully consume all the numbers from the stack. Devise your own mechanism for detecting this condition.

4. **Display:**
- Display the total sum of all numbers before the program ends.
- To verify the sum is correct, create a temporary variable that also accumulates each number as the producer generates it. Both sums should match at the end of the program.
- Display both values to check if the sum is correct.

Please submit the source code and a screenshot of your output.