it seems passing all tests in lock_tester, remains to be tried more times to verify