global res
probe begin {
	printf("BEGIN\n")
        x = 1; y = 0
	res = (1 || 0) && (x || y) && (0 || 1) && (y || x)
}

probe kernel.function("vfs_read") {
	x = 1; y = 0
	res = res && (1 || 0) && (x || y) && (0 || 1) && (y || x)
	exit()
}

probe end {
	x = 1; y = 0
	if (res && (1 || 0) && (x || y) && (0 || 1) && (y || x))
		printf("END PASS\n")
	else
		printf("END FAIL\n")
}
