int hclib::num_workers() { return hclib_num_workers(); }
int shmem_n_workers() { return hclib_num_workers(); }