DA_READ_BASICSTATES  2
DA_TL_MODEL  1
DA_TRACE_ENTRY  1
DA_TRACE_EXIT  1
DA_TRANSFER_WRFTLTOXA  1
DA_TRANSFER_WRFTOXB  1
DA_TRANSFER_XATOWRFTL  1
DA_TRANSFER_XATOWRFTL_LBC  2
DA_TRANSFORM_VTOX  3
DA_TRANSFORM_XTOXA  2
DA_TRANSFORM_XTOY  2
DA_VARBC_TL  1
DA_ZERO_X  1