nil, I believe this makes me owner #2 of the #t3x programming language formal definition. My first inclination is to write a lisp for the tcode machine but given the author I feel this has already happened? Chapter 6 is very cool to see the variants of asm for each instruction for z80 8086 and ARMv6.