Am I dreaming, or is the oz_(un)protect interface completely unsafe? If Oz thread A protects T and then Oz thread B protects T too, the first one to unprotect it will screw things up for the other one. If you agree with my interpretation, please let me know and I will fix it (fairly simple). If you do not agree, please explain. Cheers, --Denys