From a quick look, it seems OK.

There's the problem of the 'remnants', but since we can't do anything about that, let's not get into that.

Just that for the future, NS needs octutuple checks to really avoid the risk of infinite loops when it goes haywire xD