let lock          = ref BatConcurrent.nolock