labwork 3 fixed mutex