do <xray-do-statement>


<xray-do-statement> :==