@neauoire I'm kind of mentally stuck on typing READ, because then TOS determines stack depth. Could certainly do it with a complex dependent type system, but then I probably won't have much code space for anything else.