s_checked_out_p
int *p_checked_out = s_checked_out_p(h, hl == NULL ? -1 : hl->thread_idx);
int *p_checked_out = s_checked_out_p(h, hl->thread_idx);