package test {
	
	nativetype string
	nativetype int
	
	native testFail(string msg)
	
	native testSuccess()
	
	
	init {
		int i = 0
		while i < 10 {
			i = i + 1
		}
		if i == 10 {
			testSuccess()
		} else {
			testFail("defect in whileLoop")
		}
	}
}