New main() function
int main( int argc, char *argv[])
SPDI_InitializeEnvironment(&argc, &argv);
if (process_arguments(argc, argv, &transmittal_name, &identifier,
&start_obj_id) == SE_TRUE)
num_processes = SPDI_GetNumProcesses();
SPDI_RegisterFunctions(init, work, finalize);
SPDI_StartWorkerManager(global_routing_type); }
init(SPDI_START_WORKER_TOKEN);
process_type = SPDI_MANAGER_PROCESS;