Robert Barta wrote: > although \tau is not really meant to be implemented 1:1. Yes, surely not..."it is the abstract machine..." :-) OTH, 1:1 implementations are very revealing and educating. Jan