The author complains that the function wastes cycles checking for a zero condition which can never happen.

Which is ostensibly true; however, on a platform that had poor process isolation and almost no memory protection, it could be argued the paranoia was somewhat justifiable.