package test {
	
	nativetype string
	nativetype int
	
	native testFail(string msg)
	
	native testSuccess()

	init {
		if (10 == 10 and 5 == 5) {
			testSuccess()
		} else {
			testFail("defect in and if")
		}
	}
}