test with reentrant lock
reformat