define void=nothing
define int=integer
library A initializer Test{
	void Test(){
	    int i=0
	    do{
	    
	    }whilenot(i++==10)
	}
}

globals
	unit u[]
endglobals

whilenot(i++==10)

void Test(){
	    int i=0
	    do{
	    	i++
	    }whilenot(i==10)
	}