producer works properly; no semaphores yet, no consumers yet