External definitions for single-server queueing system.