p equ avn+2 ; base type cons1 equ bstyp+2 ; constraint number cons2 equ cons1+2 ; second constraint number cons3 equ cons2+2 ; .. cons4 equ cons3+2 ; .. cons5 equ cons4+2 ; .. ; ; loop ; srtlbl equ sibling+2 ; label starting loop structure