Threaded Interpretive Languages: Their Design and Implementation