tɔ_1581 := vPrf-intr-suTh-STATE Xintr,intrComp,tr0 
wa_1815 := v-intr-suTh-PROPTY Xintr,intrComp,tr0 
