Shouldn't these state changes technically not happen until after the call to `KillLxc` ?