true:   annot, explain, debug
<misc.{byte,native}>: use_str
<{version,misc,ident,intbits,types,type_expr,expr,builtins,typing,eval,condition,action,global,fsm,static,dynamic,stimuli,trace,simul}.{cmo,cmx}>: for-pack(Rfsm)


