class BoundBuffer{
    Semaphore full(n);
    Semaphore empty(n);
    Semaphore mutex(n);
}