An example triggering a simple deadlock in File Coordinations