Diagnosis
Every output request is assigned a unique spool number. This spoolnumber is an element of the number range SPO_NUM; due to the limitednumber of places, there is only a finite amount of these numbers.