status set_variables (set_variable_list) = 10;
job_name_list get_job_names (void) = 11;
job_name_list test_variables (set_variable_list) = 12;
status set_variables (set_variable_list) = 10;
job_name_list get_job_names (void) = 11;
job_name_list test_variables (set_variable_list) = 12;