is mentioned by

Def t.init == 1of(2of(2of(t)))	[sm_init]
Def t.ds == 1of(2of(t))	[sm_ds]
Def t.da == 1of(t)	[sm_da]

In prior sections: core mb list 1 prog 1 mb record

Try larger context: GenAutomata