no crash, no deadlock