Symbol: get_num_procs_online