Deadlock at the initial implementation