*allthreads>t
<t>e
<t,#(#(<t))$<threadlist.nxt
allthreads/X"(allthreads ptr is NULL)"n
