global res
probe begin {
	printf("BEGIN\n")
	x = 1; y = 0
	if (x) {
        	x = 2; y = 4
	}
	else {
		x = 4; y = 2
	}

	if (x == 2 && y == 4)
		res = 1
}

probe kernel.function("vfs_read") {
        x = 1; y = 0 
        if (x) {
                x = 2; y = 4 
	}
        else {
                x = 4; y = 2
	}

        if (!(x == 2 && y == 4 && res == 1))
                res = 0
	exit()
}

probe end {
        x = 1; y = 0
        if (x) {
                x = 2; y = 4
	}
        else {
                x = 4; y = 2
	}

        if (x == 2 && y == 4 && res == 1)
		printf("END PASS\n")
	else
		printf("END FAIL\n")
}

