Example where deadlock cannot occur