#
#  PRE: if
#
#  Tests for dereferencing the Nth attribute
#
update reply {
	Filter-Id := "filter"
}

update request {
       Class := 0x01020304
       Class += 0x05060708
       Class += 0x090a0b0c
}

if (&Class != 0x01020304) {
	update reply {
		Filter-Id := "fail 0"
	}
}

#  Must be the same as above
if (&Class[0] != 0x01020304) {
	update reply {
		Filter-Id += "fail 0a"
	}
}

if (&Class[1] != 0x05060708) {
	update reply {
		Filter-Id += "fail 1"
	}
}

if (&Class[2] != 0x090a0b0c) {
	update reply {
		Filter-Id += "fail 2"
	}
}

# must not exist
if (&Class[3]) {
	update reply {
		Filter-Id += "fail 3"
	}
}

# Last element of the array
if (&Class[n] != 0x090a0b0c) {
	update reply {
		Filter-Id += "fail 4"
	}
}