> It looks like icl_cond_wait does not return. Ah OK that makes me happy that the problem isn't in the SMT code. I think that means that I can leave the problem in the capable hands of Mato. Cheers, Jonathan