extern void scan_work_array(
    SCHEDULER_REQUEST&, SCHEDULER_REPLY&, SCHED_SHMEM&
);