Thanks for linking this. I used it in one of my first programming jobs, and forgot the name. Had occasion to use something similar recently and couldn’t find it.