extern bool already_sent_to_different_platform(
SCHEDULER_REQUEST& sreq, WORKUNIT& workunit, WORK_REQ& wreq
);