extern void scan_work_array(SCHEDULER_REQUEST&, SCHEDULER_REPLY&);