I remember following this a while back while working on my implementation of the z-machine. I don't think he finished it though ( neither have I! )