(Code-only) deadlock example