After the execution one must verify that the dog is dead, otherwise the process must be restarted.